Перевод: со всех языков на все языки

со всех языков на все языки

atomic sentence

См. также в других словарях:

  • Atomic sentence — In logic, an atomic sentence is a type of declarative sentence which is either true or false (may also be referred to as a proposition, statement or truthbearer) and which cannot be broken down into other simpler sentences. For example The dog… …   Wikipedia

  • atomic formula/sentence — Technically, an atomic formula is one with no logical constants . An atomic sentence is an atomic formula with no free variables . Intuitively, it is the kind of sentence on the basis of which one might start to construct logical complexity: a… …   Philosophy dictionary

  • Atomic formula — In mathematical logic, an atomic formula (also known simply as an atom) is a formula with no deeper propositional structure, that is, a formula that contains no logical connectives or equivalently a formula that has no strict subformulas. Atoms… …   Wikipedia

  • Sentence (mathematical logic) — This article is a technical mathematical article in the area of predicate logic. For the ordinary English language meaning see Sentence, for a less technical introductory article see Statement (logic). In mathematical logic, a sentence of a… …   Wikipedia

  • Atomic Spies — and Atom Spies are terms that refer to various people in the United States, Great Britain, and Canada who are thought to have illicitly given information about nuclear weapons production or design to the Soviet Union during World War II and the… …   Wikipedia

  • atomic — formula/sentence …   Philosophy dictionary

  • Debate over the atomic bombings of Hiroshima and Nagasaki — The Fat Man mushroom cloud resulting from the nuclear explosion over Nagasaki rises 18 km (11 mi, 60,000 ft) into the air from the hypocenter …   Wikipedia

  • protocol sentence — ▪ philosophy       in the philosophy of Logical Positivism, a statement that describes immediate experience or perception and as such is held to be the ultimate ground for knowledge. Such a statement is also called an atomic statement,… …   Universalium

  • metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… …   Universalium

  • First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… …   Wikipedia

  • Semantic theory of truth — A semantic theory of truth is a theory of truth in the philosophy of language which holds that truth is a property of sentences.[1] Contents 1 Origin 2 Tarski s Theory 3 See also …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»